Nuprl Definition : Try 13,42
REF, NoConds
Try (a) == (Try (a)) 
latex

UpTactics as terms
FDL editor aliases-try

origin